Kim Guldstrand Larsen: Z-Libraryలో శోధించండి

జ్ఞానం మరియు సంస్కృతికి మీ గేట్‌వే. అందరికీ అందుబాటులో ఉంటుంది.

Don't use scam websites

వర్తింప చేసిన వడపోత సూచనలు

సరిగ్గా సరిపోలిక

సరిగ్గా సరిపోలిక

పుస్తకాలు (17)
అత్యంత ప్రజాదరణమైనవి
- ప్రకారం క్రమబద్ధీకరించు×
- అత్యంత ప్రజాదరణమైనవి
- ఉత్తమ సరిపోలిక
- ఇటీవల జోడించినవి
- శీర్షక ప్రకారం (అ-హ)
- శీర్షక ప్రకారం (హ-అ)
- సంవత్సరం ప్రకారం
- ఫైల్ పరిమాణం ↓
- ఫైల్ పరిమాణం ↑
జాబితా
- జాబితా
- పట్టిక

1

Principles of Model Checking

Principles of Model Checking

Christel Baier, Joost-Pieter Katoen, Kim Guldstrand Larsen

సంవత్సరం:

2008

భాష:

english

ఫైల్:

PDF, 17.08 MB

0 / 5.0

english, 2008

2

Reactive Systems: Modelling, Specification and Verification

Reactive Systems: Modelling, Specification and Verification

Cambridge University Press

Luca Aceto, Anna Ingólfsdóttir, Kim Guldstrand Larsen, Jiri Srba

సంవత్సరం:

2007

భాష:

english

ఫైల్:

PDF, 1.86 MB

0 / 5.0

english, 2007

3

Tools and Algorithms for the Construction and Analysis of Systems. 27th International Conference, TACAS 2021 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Part II

Tools and Algorithms for the Construction and Analysis of Systems. 27th International Conference, TACAS 2021 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Part II

Jan Friso Groote, Kim Guldstrand Larsen, (eds.)

సంవత్సరం:

2021

భాష:

english

ఫైల్:

PDF, 13.20 MB

0 / 5.0

english, 2021

4

Tools and Algorithms for the Construction and Analysis of Systems. 27th International Conference, TACAS 2021 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Part I

Tools and Algorithms for the Construction and Analysis of Systems. 27th International Conference, TACAS 2021 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Part I

Jan Friso Groote, Kim Guldstrand Larsen, (eds.)

సంవత్సరం:

2021

భాష:

english

ఫైల్:

PDF, 8.58 MB

0 / 5.0

english, 2021

5

Formal Methods for Industrial Critical Systems: 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings

Formal Methods for Industrial Critical Systems: 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings

Springer International Publishing

Kim Guldstrand Larsen, Tim Willemse

సంవత్సరం:

2019

భాష:

english

ఫైల్:

PDF, 10.09 MB

0 / 0

english, 2019

6

Verification, Model Checking, and Abstract Interpretation: 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015. Proceedings

Verification, Model Checking, and Abstract Interpretation: 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015. Proceedings

Springer-Verlag Berlin Heidelberg

Deepak D’Souza, Akash Lal, Kim Guldstrand Larsen (eds.)

సంవత్సరం:

2015

భాష:

english

ఫైల్:

PDF, 10.50 MB

0 / 0

english, 2015

7

Reactive systems: modelling, specification and verification

Reactive systems: modelling, specification and verification

Cambridge University Press

Luca Aceto, Anna Ingólfsdóttir, Kim Guldstrand Larsen, Jiri Srba

సంవత్సరం:

2007

భాష:

english

ఫైల్:

PDF, 1.97 MB

0 / 0

english, 2007

8

Sustainable Energy Systems Planning, Integration and Management

Sustainable Energy Systems Planning, Integration and Management

Mohammad Shahidehpour, Kim Guldstrand Larsen, Somayeh Asadi, Behnam Mohammadi-ivatloo, Amjad Anvari-Moghaddam

సంవత్సరం:

2020

భాష:

english

ఫైల్:

PDF, 37.26 MB

0 / 5.0

english, 2020

9

Reachability Problems: 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings

Reachability Problems: 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings

Springer International Publishing

Kim Guldstrand Larsen, Igor Potapov, Jiří Srba (eds.)

సంవత్సరం:

2016

భాష:

english

ఫైల్:

PDF, 5.17 MB

0 / 0

english, 2016

10

Reactive Systems: Modelling, Specification and Verification

Reactive Systems: Modelling, Specification and Verification

Cambridge University Press

Luca Aceto, Anna Ingólfsdóttir, Kim Guldstrand Larsen, Jiri Srba

సంవత్సరం:

2007

భాష:

english

ఫైల్:

PDF, 1.92 MB

0 / 0

english, 2007

11

The MIT Press Principles of Model Checking

The MIT Press Principles of Model Checking

Christel Baier, Joost-Pieter Katoen, Kim Guldstrand Larsen

సంవత్సరం:

2008

భాష:

english

ఫైల్:

PDF, 17.06 MB

0 / 0

english, 2008

12

Dependable Software Engineering. Theories, Tools, and Applications: Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings

Dependable Software Engineering. Theories, Tools, and Applications: Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings

Springer International Publishing

Kim Guldstrand Larsen, Oleg Sokolsky, Ji Wang (eds.)

సంవత్సరం:

2017

భాష:

english

ఫైల్:

PDF, 10.61 MB

0 / 0

english, 2017

13

Formal Modeling and Analysis of Timed Systems: First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003. Revised Papers

Formal Modeling and Analysis of Timed Systems: First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003. Revised Papers

Springer-Verlag Berlin Heidelberg

Eugene Asarin (auth.), Kim Guldstrand Larsen, Peter Niebert (eds.)

సంవత్సరం:

2004

భాష:

english

ఫైల్:

PDF, 3.62 MB

0 / 0

english, 2004

14

Computer Aided Verification: 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27–31, 2002 Proceedings

Computer Aided Verification: 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27–31, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

Gerard_J. Holzmann (auth.), Ed Brinksma, Kim Guldstrand Larsen (eds.)

సంవత్సరం:

2002

భాష:

english

ఫైల్:

PDF, 9.30 MB

0 / 0

english, 2002

15

Protocol Specification, Testing and Verification XIV

Protocol Specification, Testing and Verification XIV

Klaus Havelund, Kim Guldstrand Larsen (auth.), Son T. Vuong, Samuel T. Chanson (eds.)

సంవత్సరం:

1995

భాష:

english

ఫైల్:

PDF, 11.61 MB

0 / 0

english, 1995

16

Computer Aided Verification: 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27–31, 2002 Proceedings

Computer Aided Verification: 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27–31, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

Gerard_J. Holzmann (auth.), Ed Brinksma, Kim Guldstrand Larsen (eds.)

సంవత్సరం:

2002

భాష:

english

ఫైల్:

PDF, 5.01 MB

0 / 0

english, 2002

17

Formal Modeling and Analysis of Timed Systems: First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003. Revised Papers

Formal Modeling and Analysis of Timed Systems: First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003. Revised Papers

Springer-Verlag Berlin Heidelberg

Eugene Asarin (auth.), Kim Guldstrand Larsen, Peter Niebert (eds.)

సంవత్సరం:

2004

భాష:

english

ఫైల్:

PDF, 3.06 MB

0 / 0

english, 2004